From Contracts in Structured English to CL Specifications
نویسندگان
چکیده
In this paper we present a framework to analyze conflicts of contracts written in structured English. A contract that has manually been rewritten in a structured English is automatically translated into a formal language using the Grammatical Framework (GF). In particular we use the contract language C L as a target formal language for this translation. In our framework C L specifications could then be input into the tool CLAN to detect the presence of conflicts (whether there are contradictory obligations, permissions, and prohibitions. We also use GF to get a version in (restricted) English of C L formulae. We discuss the implementation of such a framework.
منابع مشابه
A dynamic deontic logic for complex contracts
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concepts that our contract logic CL captures are drawn from legal contracts, as we consider that these are more general and expressive than what is usually found in computer science (like in software contracts, web services specifications, or communication protocols). CL is intended to be used in specif...
متن کامل: An Action-Based Logic for Reasoning about Contracts
This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exclusively over structured actions. CL features synchronous actions, conflict relation, and an action negation operation. The CL version that we present here is more expressive and has a cleaner semantics than its predecessor. We ...
متن کاملOn the Specification of Full Contracts 1 Stephen Fenech
Contracts specify properties of an interface to a software component. We consider the problem of defining a full contract that specifies not only the normal behaviour, but also special cases and tolerated exceptions. In this paper we focus on the behavioural properties of use cases taken from the Common Component Modelling Example (CoCoME), proposed as a benchmark to compare different component...
متن کاملOn the Specification of Full Contracts
Contracts specify properties of an interface to a software component. We consider the problem of defining a full contract that specifies not only the normal behaviour, but also special cases and tolerated exceptions. In this paper we focus on the behavioural properties of use cases taken from the Common Component Modelling Example (CoCoME), proposed as a benchmark to compare different component...
متن کاملA Comparative Study of Interactive and Interactional Metadiscourse Markers in Sales Contract Written by English Natives vs. Iranian Non-natives
This study investigated two major types of metadiscourse markers as used in typical sales contracts, written by English natives and Iranian non-natives. In so doing, 60 sales contracts were selected, 30 written by native English and 30 by Iranian non-natives. Based on Hyland and Tse’s taxonomy, the contracts were codified and classified in terms of the frequency and percentage of the interactiv...
متن کامل